Important theorem for metric space